bool{-}decider($b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{decidable\_\_assert:ObjectId, 1:l\}($b$)